Cat Calculus